3.781 \(\int (d+e x)^m (c d^2 e g-e (c d^2+a e^2) g-c d e^2 g x)^{-1+m} (a d e+(c d^2+a e^2) x+c d e x^2)^{-m} \, dx\)

Optimal. Leaf size=78 \[ -\frac{(d+e x)^m \left (x \left (a e^2+c d^2\right )+a d e+c d e x^2\right )^{-m} \log (a e+c d x) \left (-a e^3 g-c d e^2 g x\right )^m}{c d e^2 g} \]

[Out]

-(((d + e*x)^m*(-(a*e^3*g) - c*d*e^2*g*x)^m*Log[a*e + c*d*x])/(c*d*e^2*g*(a*d*e + (c*d^2 + a*e^2)*x + c*d*e*x^
2)^m))

________________________________________________________________________________________

Rubi [A]  time = 0.150091, antiderivative size = 78, normalized size of antiderivative = 1., number of steps used = 3, number of rules used = 3, integrand size = 73, \(\frac{\text{number of rules}}{\text{integrand size}}\) = 0.041, Rules used = {891, 23, 31} \[ -\frac{(d+e x)^m \left (x \left (a e^2+c d^2\right )+a d e+c d e x^2\right )^{-m} \log (a e+c d x) \left (-a e^3 g-c d e^2 g x\right )^m}{c d e^2 g} \]

Antiderivative was successfully verified.

[In]

Int[((d + e*x)^m*(c*d^2*e*g - e*(c*d^2 + a*e^2)*g - c*d*e^2*g*x)^(-1 + m))/(a*d*e + (c*d^2 + a*e^2)*x + c*d*e*
x^2)^m,x]

[Out]

-(((d + e*x)^m*(-(a*e^3*g) - c*d*e^2*g*x)^m*Log[a*e + c*d*x])/(c*d*e^2*g*(a*d*e + (c*d^2 + a*e^2)*x + c*d*e*x^
2)^m))

Rule 891

Int[((d_) + (e_.)*(x_))^(m_)*((f_.) + (g_.)*(x_))^(n_)*((a_.) + (b_.)*(x_) + (c_.)*(x_)^2)^(p_), x_Symbol] :>
Dist[(a + b*x + c*x^2)^FracPart[p]/((d + e*x)^FracPart[p]*(a/d + (c*x)/e)^FracPart[p]), Int[(d + e*x)^(m + p)*
(f + g*x)^n*(a/d + (c*x)/e)^p, x], x] /; FreeQ[{a, b, c, d, e, f, g, m, n}, x] && NeQ[e*f - d*g, 0] && NeQ[b^2
- 4*a*c, 0] && EqQ[c*d^2 - b*d*e + a*e^2, 0] &&  !IntegerQ[p] &&  !IGtQ[m, 0] &&  !IGtQ[n, 0]

Rule 23

Int[(u_.)*((a_) + (b_.)*(v_))^(m_)*((c_) + (d_.)*(v_))^(n_), x_Symbol] :> Dist[(a + b*v)^m/(c + d*v)^m, Int[u*
(c + d*v)^(m + n), x], x] /; FreeQ[{a, b, c, d, m, n}, x] && EqQ[b*c - a*d, 0] &&  !(IntegerQ[m] || IntegerQ[n
] || GtQ[b/d, 0])

Rule 31

Int[((a_) + (b_.)*(x_))^(-1), x_Symbol] :> Simp[Log[RemoveContent[a + b*x, x]]/b, x] /; FreeQ[{a, b}, x]

Rubi steps

\begin{align*} \int (d+e x)^m \left (c d^2 e g-e \left (c d^2+a e^2\right ) g-c d e^2 g x\right )^{-1+m} \left (a d e+\left (c d^2+a e^2\right ) x+c d e x^2\right )^{-m} \, dx &=\left ((a e+c d x)^m (d+e x)^m \left (a d e+\left (c d^2+a e^2\right ) x+c d e x^2\right )^{-m}\right ) \int (a e+c d x)^{-m} \left (c d^2 e g-e \left (c d^2+a e^2\right ) g-c d e^2 g x\right )^{-1+m} \, dx\\ &=\left ((d+e x)^m \left (c d^2 e g-e \left (c d^2+a e^2\right ) g-c d e^2 g x\right )^m \left (a d e+\left (c d^2+a e^2\right ) x+c d e x^2\right )^{-m}\right ) \int \frac{1}{c d^2 e g-e \left (c d^2+a e^2\right ) g-c d e^2 g x} \, dx\\ &=-\frac{(d+e x)^m \left (-a e^3 g-c d e^2 g x\right )^m \left (a d e+\left (c d^2+a e^2\right ) x+c d e x^2\right )^{-m} \log (a e+c d x)}{c d e^2 g}\\ \end{align*}

Mathematica [A]  time = 0.0356854, size = 64, normalized size = 0.82 \[ -\frac{(d+e x)^m ((d+e x) (a e+c d x))^{-m} \log (a e+c d x) \left (-e^2 g (a e+c d x)\right )^m}{c d e^2 g} \]

Antiderivative was successfully verified.

[In]

Integrate[((d + e*x)^m*(c*d^2*e*g - e*(c*d^2 + a*e^2)*g - c*d*e^2*g*x)^(-1 + m))/(a*d*e + (c*d^2 + a*e^2)*x +
c*d*e*x^2)^m,x]

[Out]

-(((-(e^2*g*(a*e + c*d*x)))^m*(d + e*x)^m*Log[a*e + c*d*x])/(c*d*e^2*g*((a*e + c*d*x)*(d + e*x))^m))

________________________________________________________________________________________

Maple [F]  time = 1.881, size = 0, normalized size = 0. \begin{align*} \int{\frac{ \left ( ex+d \right ) ^{m} \left ( c{d}^{2}eg-e \left ( a{e}^{2}+c{d}^{2} \right ) g-cd{e}^{2}gx \right ) ^{-1+m}}{ \left ( ade+ \left ( a{e}^{2}+c{d}^{2} \right ) x+cde{x}^{2} \right ) ^{m}}}\, dx \end{align*}

Verification of antiderivative is not currently implemented for this CAS.

[In]

int((e*x+d)^m*(c*d^2*e*g-e*(a*e^2+c*d^2)*g-c*d*e^2*g*x)^(-1+m)/((a*d*e+(a*e^2+c*d^2)*x+c*d*e*x^2)^m),x)

[Out]

int((e*x+d)^m*(c*d^2*e*g-e*(a*e^2+c*d^2)*g-c*d*e^2*g*x)^(-1+m)/((a*d*e+(a*e^2+c*d^2)*x+c*d*e*x^2)^m),x)

________________________________________________________________________________________

Maxima [A]  time = 1.26411, size = 43, normalized size = 0.55 \begin{align*} -\frac{e^{2 \, m - 2} \left (-g\right )^{m} \log \left (c d x + a e\right )}{c d g} \end{align*}

Verification of antiderivative is not currently implemented for this CAS.

[In]

integrate((e*x+d)^m*(c*d^2*e*g-e*(a*e^2+c*d^2)*g-c*d*e^2*g*x)^(-1+m)/((a*d*e+(a*e^2+c*d^2)*x+c*d*e*x^2)^m),x,
algorithm="maxima")

[Out]

-e^(2*m - 2)*(-g)^m*log(c*d*x + a*e)/(c*d*g)

________________________________________________________________________________________

Fricas [A]  time = 1.34499, size = 62, normalized size = 0.79 \begin{align*} -\frac{\log \left (c d x + a e\right )}{c d e^{2} g \left (-\frac{1}{e^{2} g}\right )^{m}} \end{align*}

Verification of antiderivative is not currently implemented for this CAS.

[In]

integrate((e*x+d)^m*(c*d^2*e*g-e*(a*e^2+c*d^2)*g-c*d*e^2*g*x)^(-1+m)/((a*d*e+(a*e^2+c*d^2)*x+c*d*e*x^2)^m),x,
algorithm="fricas")

[Out]

-log(c*d*x + a*e)/(c*d*e^2*g*(-1/(e^2*g))^m)

________________________________________________________________________________________

Sympy [F(-1)]  time = 0., size = 0, normalized size = 0. \begin{align*} \text{Timed out} \end{align*}

Verification of antiderivative is not currently implemented for this CAS.

[In]

integrate((e*x+d)**m*(c*d**2*e*g-e*(a*e**2+c*d**2)*g-c*d*e**2*g*x)**(-1+m)/((a*d*e+(a*e**2+c*d**2)*x+c*d*e*x**
2)**m),x)

[Out]

Timed out

________________________________________________________________________________________

Giac [F]  time = 0., size = 0, normalized size = 0. \begin{align*} \int \frac{{\left (-c d e^{2} g x + c d^{2} e g -{\left (c d^{2} + a e^{2}\right )} e g\right )}^{m - 1}{\left (e x + d\right )}^{m}}{{\left (c d e x^{2} + a d e +{\left (c d^{2} + a e^{2}\right )} x\right )}^{m}}\,{d x} \end{align*}

Verification of antiderivative is not currently implemented for this CAS.

[In]

integrate((e*x+d)^m*(c*d^2*e*g-e*(a*e^2+c*d^2)*g-c*d*e^2*g*x)^(-1+m)/((a*d*e+(a*e^2+c*d^2)*x+c*d*e*x^2)^m),x,
algorithm="giac")

[Out]

integrate((-c*d*e^2*g*x + c*d^2*e*g - (c*d^2 + a*e^2)*e*g)^(m - 1)*(e*x + d)^m/(c*d*e*x^2 + a*d*e + (c*d^2 + a
*e^2)*x)^m, x)